pub fn f() -> Unit {
  @A0.f()
  @A1.f()
  @A2.f()
  println("A")
}
